Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
911	SSL CERTIFICATE MANAGEMENT CASE STUDY A MENTORING PROCESS Easy management, better service key for electronic design automation leader MentorGraphics Add to Reading List Source URL: entrust.wpengine.netdna-cdn.com Language: English - Date: 2013-05-03 16:47:21 Electronic commerce Entrust Public key certificate Extended Validation Certificate Certificate authority X.509 Root certificate Cryptography Key management Public-key cryptography
912	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation
913	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ Amendment No. 4 to FORM 10-K Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:57 Electronic design Digital electronics Integrated circuits Synopsys Timing closure Integrated circuit design High-level synthesis Logic synthesis Physical design Electronic engineering Electronic design automation Electronics
914	Systemic solutions delivering EDA productivity[removed]Annual Report Dear Fellow Shareholders Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:06 Electronic design automation Electronic design Digital electronics Integrated circuits Integrated circuit design Synopsys Timing closure Application-specific integrated circuit Physical design Electronic engineering Electronics Design
915	2001 Annual Report momentum 15 years Celebrating 15 Years of Excellence Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:07 Electronic design Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design Physical design Logic synthesis High-level synthesis Electronic engineering Electronic design automation Electronics
916	Corporate Backgrounder Summer 2014 Synopsys Overview and History Synopsys, Inc. (Nasdaq:SNPS) provides products and services that accelerate innovation in the global electronics market. As a leader in electronic design Add to Reading List Source URL: www.synopsys.com Language: English Electronic design Hillsboro Oregon Synopsys Integrated circuits Signoff High-level synthesis Logic synthesis Integrated circuit design Xilinx Electronic engineering Electronic design automation Electronics
917	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ AMENDMENT NO. 3 TO Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:08 Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design Logic synthesis High-level synthesis Physical design Cadence Design Systems Electronic engineering Electronic design automation Electronic design
918	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:58 Integrated circuits Hardware verification languages Synopsys Magma Design Automation Mentor Graphics Cadence Design Systems SystemVerilog Electronic design automation Integrated circuit design Electronic engineering Electronics Electronic design
919	Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt Add to Reading List Source URL: klabs.org Language: English - Date: 2009-01-16 16:45:26 Hardware description languages E SystemVerilog Functional verification Formal verification Verilog SystemC Integrated circuit design Verification and validation Electronic engineering Electronic design automation Hardware verification languages
920	[removed]DZ[removed]PrepressPdfNoBL.pdf Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:57 Hardware verification languages Synopsys Integrated circuit design Electronic design automation OpenVera SystemVerilog Physical design Application-specific integrated circuit Design closure Electronic engineering Electronic design Integrated circuits

UPDATE